(x_set_menu_bar_lines): Increment windows_or_buffers_changed.

diff --git a/src/xfns.c b/src/xfns.c
index 603d2a8013db0efaf5021d8aff6eec74ad5c807c..cd9002da27030e3a8682529c162752580b1f0ac5 100644 (file)
--- a/src/xfns.c
+++ b/src/xfns.c
@@ -1726,6 +1726,9 @@ x_set_menu_bar_lines (f, value, oldval)
   else
     nlines = 0;
 
+  /* Make sure we redisplay all windows in this frame.  */
+  windows_or_buffers_changed++;
+
 #ifdef USE_X_TOOLKIT
   FRAME_MENU_BAR_LINES (f) = 0;
   if (nlines)